A Flat Process Calculus for Nested Membrane Interactions

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Flat Process Calculus for Nested Membrane Interactions

The link-calculus has been recently proposed as a process calculus for representing interactions that are open (i.e. that the number of processes may vary), and multiparty (i.e. that may involve more than two processes). Here, we apply the link-calculus for expressing, possibly hierarchical and non dyadic, biological interactions. In particular, we provide a natural encoding of Cardelli’s Brane...

متن کامل

Mathematical Modeling of Gas Separation Process with Flat Carbon Membrane

Carbon molecular sieve membranes (CMSMs) have been considered as very promising candidates for gas separation, in terms of separation properties as well as thermal and chemical stability. Due to the numerous advantages and wide applications of carbon membranes, their application for gas separation is of special importance. Because of the importance of carbon membranes and a large number of stud...

متن کامل

mathematical modeling of gas separation process with flat carbon membrane

carbon molecular sieve membranes (cmsms) have been considered as very promising candidates for gas separation, in terms of separation properties as well as thermal and chemical stability. due to the numerous advantages and wide applications of carbon membranes, their application for gas separation is of special importance. because of the importance of carbon membranes and a large number of stud...

متن کامل

A Virtual Machine for a Process Calculus

Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper presents a virtual machine for a strongly typed, polymorphic, concurrent, object-oriented programming language based on the TyCO process calculus. The system runs byte-code files, assembled from an intermediate assembly language re...

متن کامل

A Logical Process Calculus

This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system specifications containing both operational and declarative subspecifications. Syntactically, kPC extends Milner's Calculus of Conmmnicating Systems with operators fl'om the alternation free linear time p calculus (kT#). Semantically, kPC is equipped with a behavioral preorder that generalizes ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Scientific Annals of Computer Science

سال: 2014

ISSN: 2248-2695

DOI: 10.7561/sacs.2014.1.91